Approximately bisimilar symbolic models for nonlinear control systems
نویسندگان
چکیده
منابع مشابه
Approximately bisimilar symbolic models for nonlinear control systems
Control systems are usually modeled by differential equations describing how physical phenomena can be influenced by certain control parameters or inputs. Although these models are very powerful when dealing with physical phenomena, they are less suitable to describe software and hardware interfacing the physical world. For this reason there is a growing interest in describing control systems t...
متن کاملApproximately Bisimilar Symbolic Models for Stochastic Switched Systems
Stochastic switched systems are a class of continuous-time dynamical models with probabilistic evolution over a continuous domain and controldependent discrete dynamics over a finite set of locations (modes). As such, they represent a subclass of general stochastic hybrid systems. While the literature has witnessed recent progress in the dynamical analysis and controller synthesis for the stabi...
متن کاملApproximately bisimilar symbolic models for randomly switched stochastic systems
In the past few years there has been a growing interest in the use of symbolic models for control systems. The main reason is the possibility to leverage algorithmic techniques over symbolic models to synthesize controllers that are valid for the concrete control systems. Such controllers can enforce complex logical specifications that are otherwise hard (if not impossible) to establish on the ...
متن کاملSymbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations
Symbolic models are abstract descriptions of continuous systems in which symbols represent aggregates of continuous states. In the last few years there has been a growing interest in the use of symbolic models as a tool for mitigating complexity in control design. In fact, symbolic models enable the use of well known algorithms in the context of supervisory control and algorithmic game theory, ...
متن کاملApproximately Bisimilar Finite Abstractions of Stable Linear Systems
The use of bisimilar finite abstractions of continuous and hybrid systems, greatly simplifies complex computational tasks such as verification or control synthesis. Unfortunately, because of the strong requirements of bisimulation relations, such abstractions exist only for quite restrictive classes of systems. Recently, the notion of approximate bisimulation relations has been introduced, allo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Automatica
سال: 2008
ISSN: 0005-1098
DOI: 10.1016/j.automatica.2008.02.021